From e1b767d2241319e29aab02b20dc6919077f89e42 Mon Sep 17 00:00:00 2001 From: Eli Zaretskii Date: Fri, 31 May 2002 15:13:10 +0000 Subject: [PATCH] Handle the case when lispintro is truncated to lispintr. --- config.bat | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/config.bat b/config.bat index cba230f9d87..5d9f7718c7f 100644 --- a/config.bat +++ b/config.bat @@ -229,7 +229,10 @@ sed -f ../msdos/sed6.inp < Makefile.in > Makefile cd .. rem ---------------------------------------------------------------------- Echo Configuring the ELisp Introduction manual directory... -cd lispintro +Rem The two variants for the line below is for when the shell +Rem supports long file names but DJGPP does not +if exist lispintro\Makefile.in cd lispintro +if exist lispintr\Makefile.in cd lispintr sed -f ../msdos/sed6.inp < Makefile.in > Makefile cd .. rem ---------------------------------------------------------------------- -- 2.30.2